机译:结合有序的最佳优先搜索与分支和绑定,以实现精确的BDD最小化
机译:精确的BDD最小化的改进的分支定界算法
机译:并行分支和绑定算法的表演,具有最佳搜索
机译:结合有序的最佳优先搜索与分支和边界,以实现精确的BDD最小化
机译:分布式内存多处理器上最佳优先分支和绑定算法的并行处理。
机译:对不完整的基因表达数据进行分类:使用非预先输入特征过滤和最佳优先搜索技术进行集成学习
机译:将订购的最佳首先搜索与分支结合并绑定了精确的BDD最小化
机译:用于加速并行最佳分支定界算法的紧上界